Generate touch-end events on pgtk

* src/pgtkterm.c (scroll_event): Generate touch end events.

diff --git a/src/pgtkterm.c b/src/pgtkterm.c
index 15d5fda105f05a1c55dceb92265032d28b269dda..278316268f97a55950cd89d27be5893e0e6f2a25 100644 (file)
--- a/src/pgtkterm.c
+++ b/src/pgtkterm.c
@@ -6008,6 +6008,13 @@ scroll_event (GtkWidget * widget, GdkEvent * event, gpointer * user_data)
   XSETFRAME (inev.ie.frame_or_window, f);
   inev.ie.arg = Qnil;
 
+  if (gdk_event_is_scroll_stop_event (event))
+    {
+      inev.ie.kind = TOUCH_END_EVENT;
+      evq_enqueue (&inev);
+      return TRUE;
+    }
+
   if (gdk_event_get_scroll_direction (event, &dir))
     {
       switch (dir)